-
1 quantification
English-Russian dictionary of Information technology > quantification
-
2 quantification
1. количественный анализ2. квантификацияThe English-Russian dictionary general scientific > quantification
-
3 choice predicate
English-Russian big polytechnic dictionary > choice predicate
-
4 negated predicate
English-Russian big polytechnic dictionary > negated predicate
-
5 sameness predicate
English-Russian big polytechnic dictionary > sameness predicate
-
6 quantification
сущ.
1) условие
2) определение количества Syn: clause, condition, circumstances, proviso, implication ( книжное) определение количества - * of the predicate( философское) квантификация предиката (специальное) квантование, перевод в количественную форму quantification количественное описание risk ~ количественное выражение рискаБольшой англо-русский и русско-английский словарь > quantification
-
7 quantification
[͵kwɒntıfıʹkeıʃ(ə)n] n1. книжн. определение количестваquantification of the predicate - филос. квантификация предиката
2. спец. квантование, перевод в количественную форму -
8 quantification of the predicate
Философия: квантификация предикатаУниверсальный англо-русский словарь > quantification of the predicate
-
9 quantification
1. n книжн. определение количества2. n спец. квантование, перевод в количественную форму
См. также в других словарях:
КВАНТИФИКАЦИЯ ПРЕДИКАТА — операция уточнения объема предиката суждения (в смысле классич. аристотелевой логики) с помощью слов все и некоторые , основанная на истолковании связки есть как выражающей отношение тождества между, рассматриваемыми в суждении объемами субъекта… … Философская энциклопедия
КВАНТИФИКАЦИЯ — (от лат. quantum сколько и facio делаю), измерение качеств. признаков. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983 … Философская энциклопедия
Квантор — Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката и создающих выcказывание. Чаще всего упоминают: Квантор всеобщности (обозначение: , читается: «для всех…», «для каждого…» или «каждый…» … Википедия
моделей теория — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей. Наиболее развитой является М. т. формул… … Энциклопедия эпистемологии и философии науки